You have chosen Empedocles, Jan Lukasiewicz and Jan Lukasiewicz.
All three must be different; choose another philosopher.